< 1 >
Derivative of the inverse secant
The first derivative of the inverse secant is
Explanation
We start with
Differentiation gives
Now we apply the chain rule
Turning over delivers
We want to trace this back to a function that only contains sec y, because we can then replace that with x, and in the conversion table we find
Substitution of y = arcsec x and sec y = x gives
and for real x applies